perm filename SET2.AX[226,JMC] blob sn#085643 filedate 1974-02-03 generic text, type T, neo UTF8
00100	AXIOM CARD:
00200		card(nlset) = 0,
00300		∀x.(card(unitset(x)) = 1),
00400		∀x y.(isset(x) ∧ isset(y) ⊃ card(x∪y)+card(x∩y)=card(x)+card(y)),
00500		∀x y m.(isset(x)∧isset(y)∧ m ⊂ cartesian(x,y) ∧
00600	∀x.(